Title of dissertation: CONTROL AND VERIFICATION OF QUANTUM MECHANICAL SYSTEMS
نویسندگان
چکیده
Title of dissertation: CONTROL AND VERIFICATION OF QUANTUM MECHANICAL SYSTEMS Dvir Kafri, Doctor of Philosophy, 2015 Dissertation directed by: Professor Jacob Taylor Department of Physics Quantum information science uses the distinguishing features of quantum mechanics for novel information processing tasks, ranging from metrology to computation. This manuscript explores multiple topics in this field. We discuss implementations of hybrid quantum systems composed of trapped ions and superconducting circuits, protocols for detecting signatures of entanglement in small and many-body systems, and a proposal for ground state preparation in quantum Hamiltonian simulators. Control and Verification of Quantum Mechanical Systems
منابع مشابه
Modelling and verification of embedded systems based on Petri net oriented representations
FACULTY OF ENGINEERING ELECTRONICS AND COMPUTER SCIENCE DEPARTMENT Doctor of Philosophy MODELLING AND VERIFICATION OF EMBEDDED SYSTEMS BASED ON PETRI NET ORIENTED REPRESENTATIONS by Mauricio Varea Driven by the demand for more functionality, the complexity involved in the design of embedded systems continues to increase. This has lead to a progressive increase in the amount of control and data ...
متن کاملFinite safety models for high-assurance systems
Author: John C. Sloan Title: Finite Safety Models for High-Assurance Systems Institution: Florida Atlantic University Dissertation Advisor: Dr. Taghi M. Khoshgoftaar Degree: Doctor of Philosophy Year: 2010 Preventing bad things from happening to engineered systems, demands improvements to how we model their operation with regard to safety. Safety-critical and fiscally-critical systems both dema...
متن کاملQuantum Feedback Control: How to use Verification Theorems and Viscosity Solutions to Find Optimal Protocols
While feedback control has many applications in quantum systems, finding optimal control protocols for this task is generally challenging. So-called “verification theorems” and “viscosity solutions” provide two useful tools for this purpose: together they give a simple method to check whether any given protocol is optimal, and provide a numerical method for finding optimal protocols. While trea...
متن کامل3 Design of an STM and EPL Control System and Linear
Increasing demand for nano-scale machining processes in the semiconductor industry necessitates new mechanisms for nano-machining. A system capable of nano-scale machining of conductive material via Electronic Pen Lithography (EPL) may fit this niche. The purpose of this research is to develop a system capable of EPL based on a HexFlex six axis nano-manipulator. The system will also be capable ...
متن کاملRobust Anti-Windup Control Design for PID Controllers–Theory and Experimental Verification
This paper addresses an approximation-based anti-windup (AW) control strategy for suppressing the windup effect caused by actuator saturation nonlinearity in proportional–integral–derivative (PID) controlled systems. The effect of actuator constraint is firstly regarded as a disturbance imported to the PID controller. The external disturbance can then be modeled by a linear differential equatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015